Nuprl Definition : fpf-accum
0,22
postcript
pdf
fpf-accum(
z
,
a
,
v
.
f
(
z
;
a
;
v
);
y
;
x
) == list_accum(
z
,
a
.
f
(
z
;
a
;2of(
x
)(
a
));
y
;1of(
x
))
latex
Definitions
list_accum(
x
,
a
.
f
(
x
;
a
);
y
;
l
)
,
2of(
t
)
,
1of(
t
)
FDL editor aliases
fpf-accum
origin